Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
21	Toward Probabilistic Natural Logic for Syllogistic Reasoning Fangzhou Zhai, Jakub Szymanik and Ivan Titov Institute for Logic, Language and Computation, University of Amsterdam Abstract Natural language contains an abund Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2015-12-03 09:03:42
22	Learning biases may prevent lexicalization of pragmatic inferences: a case study combining iterated (Bayesian) learning and functional selection Thomas Brochhagen () Institute for Logic, Language and Add to Reading List Source URL: www.home.uni-osnabrueck.de Language: English - Date: 2018-04-18 07:39:40
23	To appear in A. Gupta and J. van Benthem (eds.), Logic and Philosophy Today, College Publications, Logic and Social Choice Theory Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Add to Reading List Source URL: staff.fnwi.uva.nl - Date: 2012-01-09 08:18:25
24	A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org - Date: 2016-09-06 10:47:15
25	To appear in Procedia Computer ScienceComputational Social Choice: Prospects and Challenges1 Ulle Endriss Institute for Logic, Language and Computation (ILLC), University of Amsterdam Postbus 94242, 1090 GE Amst Add to Reading List Source URL: staff.fnwi.uva.nl - Date: 2012-01-09 07:02:24
26	Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for Add to Reading List Source URL: plv.mpi-sws.org - Date: 2017-01-19 08:43:04
27	New Methods in Hard Disk Encryption Clemens Fruhwirth <> Institute for Computer Languages Theory and Logic Group Vienna University of Technology Add to Reading List Source URL: tomb.dyne.org - Date: 2011-01-28 17:33:02
28	Comparing strengths of beliefs explicitly Dick de Jongh Sujata Ghosh Institute for Logic, Language and Computation Add to Reading List Source URL: ceur-ws.org - Date: 2009-08-10 08:38:06
29	From high heels to weed attics: a syntactic investigation of chick lit and literature Kim Jautze* Corina Koolen† Andreas van Cranenburgh† Hayco de Jong * Huygens ING † Institute for Logic, Language and Computatio Add to Reading List Source URL: anthology.aclweb.org - Date: 2013-05-18 13:09:38
30	Games for Learning A Sabotage Approach Nina Gierasimczuk, Lena Kurzen and Fernando R. Vel´azquez-Quesada Institute for Logic, Language and Computation Universiteit van Amsterdam Email: {N.Gierasimczuk \| L.M.Kurzen \| F.R Add to Reading List Source URL: ceur-ws.org - Date: 2009-08-10 08:38:58

UPDATE